1. Artificial intelligence techniques :
Author: Alan Bundy, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
Classification :
Q336
.
A436
1997
2. Australian libraries: the essential directory
Author: / Compiled and edited by Alan and Judith Bundy
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: Libraries - Australia - Directories,Information Services - Australia - Directories
Classification :
Bib
.
Z870
.
A1A83
2001
3. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
4. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
Author: Alan Bundy )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
814
5. Catalogue of Artificial Intelligence Tools
Author: edited by Alan Bundy, Lincoln Wallen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
Q336
.
E358
1984
6. Catalogue of Artificial Intelligence Tools
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
Q336
.
E358
1986
7. Catalogue of artificial intelligence techniques
Author: Alan Bundy )ed(; asistant editor, Alan Smaill
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Artificial intelligence
Classification :
Q
336
.
C28
1990
8. Catalogue of artificial intelligence techniques
Author: / Alan Bundy (ed.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Artificial intelligence - Data processing
Classification :
Q336
.
B86
1990
9. Catalogue of artificial intelligence tools
Author: Bundy, Alan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
Classification :
Q
336
.
B86
1986
10. Catalogue of artificial intelligence tools
Author: Bundy, Alan.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
Classification :
Q
336
.
B86
1984
11. Catalogue of artificial intelligence tools
Author: BUNDY,ALAN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE-DATA PROCESSING , ROBOTICS , ELECTRONIC DIGITAL COMPUTERS-
Classification :
Q
336
.
B86
1986
12. Catalogue of artificial intelligence tools
Author: / edited by Alan Bundy
Library: Library of College of Science University of Tehran (Tehran)
Subject: Artificial intelligence -- Data processing,Robotics,Electronic digital computers -- Programming,Computer programs -- Catalogs
Classification :
Q
336
.
C27
1986
13. The computer modelling of mathematical reasoning /
Author: Alan Bundy, Department of Artificial Intelligence, Edinburgh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
Classification :
QA76
.
95
.
B86
1983
14. The computer modelling of mathematical reasoning
Author: Alan Bundy
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
Classification :
QA
76
.
95
.
B86
15. The computer modelling of mathematical reasoning
Author: / Alan Bundy
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematics- Data processing,Logic, Symbolic and mathematical,Automatic theorem proving
Classification :
QA76
.
95
.
B86
16. The computer modelling of mathematical reasoning
Author: Bundy, Alan.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics - Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
Classification :
QA
76
.
95
.
B86
1983
